David

Results: 76632



#Item
81Theoretical computer science / Software engineering / Constraint programming / Computing / Formal methods / Logic in computer science / Electronic design automation / NP-complete problems / Satisfiability modulo theories / Solver / SMT / Constraint satisfaction problem

The SMT-LIBv2 Language and Tools: A Tutorial David R. Cok GrammaTech, Inc. VersionNovember 23, 2013

Add to Reading List

Source URL: smtlib.github.io

Language: English - Date: 2015-12-24 13:35:05
82

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Thomas Wilson April 8, 2016 The Board will hold a

Add to Reading List

Source URL: clark.ohioboe.com

- Date: 2017-04-21 08:14:01
    83Mathematical analysis / Mathematics / Experiment / Information theory / Statistical theory / Measure theory / Random variable / Statistical randomness / Sigma-algebra / Probability distribution / Joint probability distribution / Probability space

    Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2017-06-07 20:45:26
    84Archie / American comics / Fiction / Narratology

    NOTES FOR TEACHERS & LIBRARIANS The Chocolate Factory Ghost by David O’Connell and illustrated by Claire Powell is the perfect KS2 class reader for comedic adventure writing, magic and fantasy, aimed at children aged 7

    Add to Reading List

    Source URL: blog.whsmith.co.uk

    Language: English - Date: 2018-05-17 09:06:09
    85Model checkers / Application software / PRISM model checker / Systems science / Mathematics / Model checking / Uppaal Model Checker / Probabilistic automaton / PAT / Hybrid system / Markov chain

    PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2011-06-07 19:21:25
    86Computer programming / Software engineering / Mathematical logic / Formal methods / Predicate logic / Opaque predicate / Computability theory / Predicate / Satisfiability modulo theories / Stack / Disassembler / FO

    Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes? Sébastien Bardin Robin David

    Add to Reading List

    Source URL: www.ieee-security.org

    Language: English - Date: 2017-04-03 15:56:28
    87

    CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez November 22, 2017

    Add to Reading List

    Source URL: clark.ohioboe.com

    - Date: 2018-08-15 15:34:51
      88

      NET CONTROL STATION Training Manual Compiled by: Ann-Marie Ruder K8AMR August 2003 Formatted by: David Peterson KE4QDM Converted to pdf file by: John Ibbs KC8WSK

      Add to Reading List

      Source URL: clatsopauxcomm.org

      Language: English - Date: 2018-08-16 12:49:37
        89

        CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Thomas Wilson March 30, 2016 The Board will con

        Add to Reading List

        Source URL: clark.ohioboe.com

        - Date: 2017-04-21 08:14:01
          90Springfield /  Massachusetts / Springfield /  Virginia / Boe / Springfield Union Station / Springfield /  Ohio / Geography of the United States / Geography of Massachusetts / Massachusetts

          CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez September 15, 2016 The Board will c

          Add to Reading List

          Source URL: clark.ohioboe.com

          Language: English - Date: 2017-04-21 08:14:18
          UPDATE